Scheme programming language - PDFSEARCH.IO - Document Search Engine

Scheme programming language
Results: 407

#	Item
11	Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-28 05:09:28 Software engineering Computer programming Programming language theory Object-oriented programming languages Subroutines Functional languages Cross-platform software Lambda calculus Scheme Parameter Lisp Dylan
12	SAMPLE QUESTION PAPER OF G SCHEME CM SQPOGSC-18-WORG6-PDF \| File Size 2,000 KB \| 37 Pages \| 7 Aug, 2016 TABLE OF CONTENT Introduction Add to Reading List Source URL: woodworking-books.org Language: English - Date: 2016-08-22 10:05:53 Software engineering Programming language theory Computing Portable Document Format Scheme
13	LGF Transport Business Case Report A28 Chart Road CO04300369/008 Revision 01 January 2016 Add to Reading List Source URL: www.southeastlep.com Language: English - Date: 2016-02-11 11:31:11 Programming language theory Software engineering Computer programming Business case PRINCE2 Project management Cumberland Highway Scheme Local enterprise partnership A28
14	mzc: PLT Compilation and Packaging VersionApril 2, 2010 The mzc tool supports various PLT Scheme compilation and packaging tasks. Add to Reading List Source URL: download.plt-scheme.org Language: English - Date: 2010-04-02 17:29:54 Software Computing System software Programming language implementation Android Java virtual machine Compiler construction Bytecode Executable Dalvik Android Runtime Racket
15	waside-optimized-code.dvi Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2012-06-05 05:37:17 Software engineering Computer programming Software Subroutines Recursion Assembly languages Programming language implementation Scheme Tail call Inline expansion GNU Compiler Collection INT
16	Gambit-C v4.7.4 A portable implementation of Scheme Edition v4.7.4, March 04, 2015 Marc Feeley Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2015-03-05 11:11:51 Software Computing Scripting languages Programming language implementation Compiling tools User interface techniques Scheme Gambit Interpreter Command-line interface Batch file Shell script
17	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2015-04-20 13:48:41 Logic in computer science Operational semantics Lambda calculus Closure Combinatory logic Denotational semantics Divergence Rewriting Algorithm Semantics Standard ML
18	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN, JOHN COWAN, STEVEN GANZ AARON W. HSU BRADLEY LUCIER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:20:02 Source code Procedural programming languages Functional languages Data types Compiler construction Scheme Lisp Variable Scope Identifier Syntax Lexical analysis
19	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN, JOHN COWAN, STEVEN GANZ AARON W. HSU BRADLEY LUCIER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:20:03 Source code Compiler construction Procedural programming languages Functional languages Data types Scheme Variable Scope Lisp Lexical analysis Identifier Syntax
20	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML